1. Theorem proving in higher order logics : 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings
پدیدآورنده : Victor A. Carreno, Cesar A. Munoz, Sofiene Tahar, eds
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
2410
